Clausius Inequality